Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 10 of 29 for:
formal methods
1 ?
 21,213,375 websites (safe search)

  1. KindSoftware: Software Engineering with Applied Formal Methods

    formal methods in software engineering
    formal methods1
    kindsoftware1

    kind.ucd.ie - 2009-04-10

  2. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

  3. Trustworthy Tools

    Trustworthy Tools Home | About Us | Projects | Dissertation | Publications | Divine Support As software grows more complex, it tends to grow more unstable. For ...
    formal methods1
    software verification1
    program verification1
    higher order logic0
    mechanical theorem proving0

    www.trustworthytools.com - 2009-02-07

  4. Escher Technologies - Building bug-free software

    Home Products Services Support News Company Contact Associates Publications Welcome Our company researches, develops and delivers tools for the efficient ...
    software consultancy1
    model driven development1
    formal methods1
    safety critical software1
    design by contract1
    mission critical software1
    correct by construction1
    bug free software0
    Escher Technologies0
    object oriented formal methods0
    Perfect Developer0

    www.eschertech.com - 2009-02-12

  5. Personal Web page of Petro Protsyk

    Personal web page of Petro Protsyk, Certified .NET Developer (MCPD) and PhD Student. Petro Protsyk graduated from Kiev National University, faculty of ...
    MCTS1
    ERE1
    MCPD1
    Formal Methods1
    Imagine Cup1
    Protsyk0

    www.protsyk.com - 2009-02-07

  6. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

  7. Wolfgang Polak, Computer Science Consultant

    Summary of Wolfgang Polak's consulting business
    technology transfer1
    quantum computing1
    formal methods1
    program verifiction0

    www.pocs.com - 2009-02-05

  8. Esterel EDA

    ESL-to-RTL synthesis for control-intensive IP design and verification.
    RTL2
    VHDL1
    Verilog1
    code generation1
    SystemC1
    formal methods1
    correct by construction1
    ESL synthesis1
    automated implementation1
    Electronic System Level1
    unambiguous specifications1
    Esterel Studio0

    www.esterel-eda.com - 2009-02-09

  9. TWil.net - Personal web-site for Thomas Wilson

    Home page for the personal web site of Thomas Wilson
    verification2
    specification2
    formal methods1
    thomas wilson1

    www.twil.net - 2009-02-13

  10. Waysys on the Web (Message)

    This site describes techniques for improving software development, particularly improving software quality.
    Quality Assurance2
    Objects2
    Object2
    Guidewire1
    Formal Methods1
    Castlebay1
    High Integrity Software1
    CastleBay Consulting1
    DateBench1
    Waysys1
    WysDoM1

    waysysweb.com - 2009-04-12

project management3 quality assurance2 hazard analysis1 internet security2 consulting5 software verification1 computer security2 network security2 software testing1 computer5 quality4 software7

123 Next>

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.